
#include "ExpressionNode.hpp"

int ExpressionNode::_autoIncrement = 0;

ExpressionNode::ExpressionNode() :
        _solved(false),
        _value(TriboolVal::Undefined)
{
    this->_id = ExpressionNode::_autoIncrement;
    ExpressionNode::_autoIncrement++;
}

ExpressionNode::~ExpressionNode()
{

}

int ExpressionNode::getId() const
{
    return this->_id;
}

void ExpressionNode::setId(int id)
{
    this->_id = id;
}

void ExpressionNode::setValue(Tribool value)
{
    this->_solved = true;
    this->_value = value;
}
